ARINC Specification 653 Based Real-Time Software Engineering
نویسندگان
چکیده
منابع مشابه
ARINC Specification 653 Based Real-Time Software Engineering
This paper reports successive steps of a real-time avionic pitch control application creation. The application structure follows a new real-time systems development profile published in ARINC specification 653. The paper mentions some main ARINC specification 653 features and shows the subsequent application creation levels: control system units distribution, timing requirements definition, app...
متن کاملModel Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard programming languages like C. One general technique to implement this approach is producing a reduced model of the software in order to employ existing and efficient tools, like spin. This paper presents the application of t...
متن کاملVerification support for ARINC-653-based avionics software
Software model checking consists in applying the most powerful results in formal verification research to programming languages such as C. One general technique to implement this approach is producing a reduced model of the software in order to employ existing and efficient tools, such as SPIN. This paper focusses on the application of this approach to the avionics software constructed on top o...
متن کاملSoftware Model Checking of ARINC-653 Flight Code with MCP
The ARINC-653 standard defines a common interface for Integrated Modular Avionics (IMA) code. In particular, ARINC-653 Part 1 specifies a processand partition-management API that is analogous to POSIX threads, but with certain extensions and restrictions intended to support the implementation of high reliability flight code. MCP is a software model checker, developed at NASAAmes, that provides ...
متن کاملA component model for hard real-time systems: CCM with ARINC-653
Size and complexity of software in safety critical system is increasing at a rapid pace. One technology that can be used to mitigate this complexity is component-based software development. However, in spite of the apparent benefits of a component-based approach to development, little work has been done in applying these concepts to hard real time systems. This paper improves the state of the a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: e-Informatica Software Engineering Journal
سال: 2012
ISSN: 1897-7979
DOI: 10.2478/v10233-011-0029-x